deductive system
英 [dɪˈdʌktɪv ˈsɪstəm]
美 [dɪˈdʌktɪv ˈsɪstəm]
网络 演绎体系; 演绎系统
双语例句
- Deductive database system with multi-query-language
支持多种查询语言的演绎数据库系统 - At present, there exists a tendency towards overemphasis on the symbolization of deductive system and the singularity of the method of formal thinking, thus restricting the basic function of logic as a training course of theoretical thinking.
目前普通逻辑教学内容存在着过份追求演绎系统的符号化、形式思维方法的单一化的倾向，从而限制了逻辑学作为理性思维方法训练课程的基本功能。 - The Weak Completeness of Basic Formal Deductive System UL of Universal Logic
形式系统UL的弱完备性 - In this paper a combinational theory of compilers is described and a formal deductive system is given.
本文讨论了编译软件的组合理论，并提出了一个形式演绎系统。 - Two-level deductive database system is the amalgamation of conventional database and PROLOG system, which is divided into two levels: database level and inference level.
二级演绎数据库系统是一种结合一般数据库系统与PROLOG系统特点的演绎数据库系统，它分为数据库级和推理级两个不同的层次。 - Investigation of a Deductive Database System Based on the PROLOG and INGRES
基于PROLOG和INGRES的演绎数据库系统的研制 - A two-level deductive database system has bean designed and implement-ed in their department.
本文设计并实现了一个二级推理数据库系统。 - Theory of deductive system in sub-BL algebras
次BL代数的推理系统 - Implementation of a Deductive Database System DRDB
DRDB演绎数据库系统的实现 - A new formal deductive system for fuzzy predicate calculus
一个新的模糊谓词演算形式系统 - Based on the mode of thinking in dialectical logic, this article tries to derive the framework of the deductive system of instructional principles from the regular patterns of contradictory operations of instructional processes.
教学原则的演绎体系框架应以辩证逻辑的思维方法，从教学过程矛盾运行的规律中去推导。 - This paper builds the Deductive System of Temporal Logical formulas in default theory.
本文建立了基于缺省理论的时态逻辑公式演绎系统。 - The deductive database system has been basically implemented on DUAL-68000 microcomputers.
文中还叙述了演绎数据库系统在DUAL-68000微型机上的实现过程。 - This paper investigates the approaches of the knowledge presentation, deductive database system and expert system.
本文将结合我们的研究成果，讨论知识表示、演绎数据库系统、专家系统的方法。 - A deductive database system on relation-extended model
基于扩充关系模型的演绎数据库系统 - Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal deductive system given in this paper.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。 - DRDB: A Deductive Database Management System
DRDB演译数据库管理系统 - Visual deductive system of 3D landslide and damage evolution tracking
三维滑坡可视化演绎系统及破坏演变规律跟踪 - As a discipline, pedagogics principle belongs to principle theory. Principle theory establishes new fundamental hypothesis according to the experience world itself, and announces the general characteristics of phenomenon by analysis. It is a deductive reasoning system established on the basis of principles.
教育学原理作为一门学科，属于原理理论，即通过经验世界本身来确立新的基本假设，运用分析的方法揭示出现象的普遍特征，它是建立于原理（原则）基础之上的演绎推理体系。 - The Algebraic Structure and Deductive System of Syntactic Categories
句法范畴的代数结构与演绎系统 - Research and development of the g-ddbs/ vms deductive database system
演绎数据库系统G-DDBS/VMS的研制 - Generalized Deduction Theory of the Formal Deductive System PL
PL公理体系的广义演绎定理 - A Deductive Database System Implemented On INGRES
在INGRES上实现的一个演绎系统 - The Formal Deductive System β of Universal Logic in the Ideal Condition
理想状态下泛逻辑的形式演绎系统β - Design and Implementation of the Inductive and Deductive Database System Duce-92
具备归纳和演绎能力的数据库系统Duce-92的设计与实现 - HDS itself is a logical deductive system and it does not overtly include concrete syntax-semantics parsing deduction processes.
HDS本身是一个逻辑演绎系统，因此它没有显式地包含具体的句法-语义分析演绎过程。 - HDS is a HPSG deductive system as a fragment of pCLL ( partially commutative linear logic).
HDS是一个HPSG演绎系统作为部分可交换线性逻辑的片断。 - His ideas for the production and the development of modern logic played an extremely important role especially on his construction of the concept ﹣ script and established the deductive system and calculus of logic over the Aristotelian tradition logic dominance, and create a new era of the logic.
他的思想对于现代逻辑的产生和发展产生了极其重要的推动作用，尤其是他所构造的概念文字和建立的逻辑演算系统结束了亚里士多德传统逻辑的统治地位，开创了逻辑的新时代。 - Expert system is an intelligent deductive system on the basis of the knowledge library, which involves the study on knowledge obtaining, knowledge library, deductive controlling mechanism and intelligent manipulating panel, and combines artificial intelligence with field knowledge.
专家系统是基于知识库的智能推理系统，它涉及知识获取、知识库、推理控制机制以及智能人机界面的研究，集人工智能和领域知识于一体。 - Based on probability theory and modern deductive logic, probability logic is used as a tool to construct the logic of deductive system of the formal inductive reasoning.
概率逻辑是以概率论和现代演绎逻辑为工具构造归纳推理逻辑的形式演绎系统。